2221. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
E-BOOK
2222. Visualization, explanation and reasoning styles in mathematics ]electronic resources[
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
Classification :
QA
8
.
6
.
V57
2005
2223. Vivid logic
Author: / Gerd Wagner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Expert systems (Computer science),Logic, Symbolic and mathematical.
Classification :
QA
,
76
.
76
,.
E95
,
W33
,
1994
2224. Vivid logic :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
2225. Vivid logic : knowledge-based reasoning with two kinds of negation
Author: Wagner, Gerd, 7591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
764
2226. Vollstandige Systeme modaler und intuitionistischer Logik
Author: Schutte, Kurt
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
S3793
2227. Vollstandige systeme modaler und intuitioni tischor logik
Author: Schutte, Kurt
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Model theory,، Logic symbolic and mathematical
Classification :
QA
9
.
7
.
S39V6
2228. Vollstandige systeme modaler und intuitionistischer Logik
Author: Schutte, Kurt
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
S46
1968
2229. Waht is mathematical logic ?
Author: / J. N. Crossley ... [et al.]
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical
Classification :
511
.
3
Wh
2230. What Logics Mean
Author: / James W. Garson
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic,Semantics,Logic, Symbolic and mathematical,منطق,معنی شناسی,منطق ریاضی
Classification :
BC71
.
G37
2013
2231. What is a logical system?
Author: edited by D.M. Gabbay
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Computer science
Classification :
QA
9
.
2
.
W48
1994
2232. What is mathematical logic
Author: J.N. Crossley...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
W43
1972
2233. What is mathematical logic?
Author: / J. N. Crossley ... [et all]
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Logic, symbolic and mathematical
Classification :
QA9
.
W55
2234. What is mathematical logic?
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
2235. What is mathematical logic?
Author: / J.N. Crossley ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.
Classification :
QA9
,.
W47
,
1990
2236. What logics mean : from proof theory to model-theoretic semantics
Author: Garson, James W., 3491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic,، Semantics,، Logic, Symbolic and mathematical
Classification :
BC
71
.
G37W45
2237. Wittgenstein and the End of Philosophy
Author: \ Daniel D. Hutto
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,ویتگنشتاین، لودویگ، ۱۸۸۹ - ۱۹۵۱م. . پژوهشهای فلسفی
Classification :
E-Book
,
2238. Wittgenstein and the end of philosophy :neither theory nor therapy
Author: Hutto, Daniel D.
Library: Library of Mofid University (Qom)
Subject: ، Wittgenstein, Ludwig,9881-1591.Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
Classification :
B3376
.
W563
T73353
2239. Wittgenstein and the end of philosophy : neither theory nor therapy
Author: Hutto, Daniel D.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
Classification :
B
3376
.
W563T72338
2240. Wittgenstein and the end of philosophy: neither theory nor therapy
Author: Hutto, Daniel D.
Library: (Tehran)
Subject: ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,، Language and languages -- Philosophy
Classification :
B
3376
.
W563
H88
2006
